منابع مشابه
Generating Finite Completely Reducible Linear Groups
It is proved here that each finite completely reducible linear group of dimension d (over an arbitrary field) can be generated by L 3 d] elements. If a finite linear group G of dimension d is not completely reducible, then its characteristic is a prime, p say, and the factor group of G modulo the largest normal p-subgroup O.p(G) may be viewed as a completely reducible linear group acting on the...
متن کاملGenerating Bsplib-c Code from Logs Specifications
This paper introduces a tool that automatically translates a concrete form of specifications into C code linked with BSPlib. A Logs specification for Bulk-Synchronous Parallelism is a relation of an initial state, a final state and some intermediate states. Nondeterminism and parallelism correspond to disjunction and conjunction respectively. Various advanced specification commands can be deriv...
متن کاملAutomatically Generating Summary Visualizations from Game Logs
In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces visualization of the summarized actions that are extracted based on cognitive models of summarization. ViGLS is implemented using a serviceoriented architecture, de-coupling the summarization methods from any particular ...
متن کاملToward Obtaining Event Logs from Legacy Code
Information systems are ageing over time and become legacy information systems which often embed business knowledge that is not present in any other artifact. This embedded knowledge must be preserved to align the modernized versions of the legacy systems with the current business processes of an organization. Process mining is a powerful tool to discover and preserve business knowledge. Most p...
متن کاملALOG: A spreadsheet-based program for generating artificial logs
esearchers in the Department of Industrial and Manufacturing Systems Engineering at the University of Missouri-Columbia, in collaboration with the Southern Research Station of the USDA Forest Service, recently developed a hardwood log sawing simulator for use by the hardwood sawmill industry. LogCast (Log Computer Aided Sawyer Trainer) was designed to be used as a training tool for sawyers in p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2011
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1993316.1993528